A presentation theorem for continuous logic and metric abstract elementary classes
نویسندگان
چکیده
منابع مشابه
A presentation theorem for continuous logic and metric abstract elementary classes
In the spirit of Chang and Shelah’s presentation results (from [Cha68] and [Sh88], respectively), we prove a presentation theorem for classes of continuous structures, both those axiomatized by first-order and beyond, in terms of a class of discrete structures. The thrust of this presentation theorem is the basic analytic fact that the behavior of continuous functions is determined by their val...
متن کاملDecomposition Theorem for Abstract Elementary Classes
elementary classes (AEC) were introduced by Shelah to generate a common framework to treat those classes of models that, in spite of being non-elementary, behave similarly to elementary classes. Part of the motivation was the study of classes of models for theories in infinitary languages. As stated in the introduction, Rami Grossberg and Olivier Lessmann presented an axiomatic framework which ...
متن کاملAround superstability in Metric Abstract Elementary Classes
Metric Abstract Elementary Classes (MAECs) correspond to an amalgam of the notions of Abstract Elementary Classes (AECs) and Elementary Class in the Continuous Logic. In this work, we study a proof of uniqueness (up to isomorphism) of Limit Models in MAECs [ViZa10a, Za1x], under superstability-like assumptions. Assuming this uniqueness of Limit Models, it is possible to do a preliminar study of...
متن کاملQuasiminimal abstract elementary classes
We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable Löwenheim-Skolem-Tarski number, existence of a prime model, closure under intersections, and uniqueness of the generic orbital type over every countable model. We exhibit a correspondence between Zilber’s quasiminimal pregeometry classes and quasiminimal AECs: a...
متن کاملSuperstability in abstract elementary classes
We prove that several definitions of superstability in abstract elementary classes (AECs) are equivalent under the assumption that the class is stable, tame, has amalgamation, joint embedding, and arbitrarily large models. This partially answers questions of Shelah. Theorem 0.1. Let K be a tame AEC with amalgamation, joint embedding, and arbitrarily large models. Assume K is stable. Then the fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2017
ISSN: 0942-5616
DOI: 10.1002/malq.201600058